#define _CRT_SECURE_NO_WARNINGS 
//#include<stdio.h>
//int main( )
//{
//	int x = 0;
//	int n = 0;
//	scanf("%d %d", &x, &n);
//	int i = 0;
//	int count = 0;
//	int mile = 0;
//	for (i = x; i < n + x; i++)
//	{
//		if ((i % 7 == 6) || (i % 7 == 0))
//		{
//			count++;
//		}
//	}
//	mile = (n  - count) * 250;
//	printf("%d", mile);
//	return 0;
//}
//#include<stdio.h>
//int main()
//{
//	char ID[5];
//	char name[10];
//	int arr[100];
//	int n = 0;
//	scanf("%d", &n);
//	int i = 0;
//	while (n--)
//	{
//		scanf("%s %s %d", ID, name, &arr[i++]);
//	}
//	double sum = 0.0;
//	double average = 0.0;
//	for (i = 0; i < n; i++)
//	{
//		sum += arr[i];
//	}
//	average = sum / n;
//	
//	return 0;
//}
#include<stdio.h>
int main()
{
	int a = 0;
	int b = 0;
	int c = 0;
	scanf("%d %d %d", &a, &b, &c);
	int arr[10];
	int min_value = 0;
	arr[0] = a;
	arr[1] = b;
	arr[2] = c;
	int i = 0;
	int j = 0;
	for (i = 0; i < 2; i++)
	{
		for (j = 0; j < 2 - i; j++)
		{
			if (arr[j] > arr[j + 1])
			{
				int temp = arr[j];
				arr[j] = arr[j + 1];
				arr[j + 1] = temp;
			}
		}
	}
	printf("%d/%d", arr[0], arr[2]);
	return 0;
}